Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science)
by Armin Biere,David Parker
ISBN 13: 9783030451899
Format: Paperback (528 pages) Publisher: Springer Published: 18 Apr 2020
Save for later
The People of Devon 1918-1930: From War to Peace
by David Parker
ISBN 13: 9780857043535
Format: Hardcover (160 pages) Publisher: Halsgrove Published: 29 Oct 2021